Optimal. Leaf size=83 \[ \frac{2 \cosh (c+d x)}{a d}-\frac{\sinh ^2(c+d x) \cosh (c+d x)}{d (a+i a \sinh (c+d x))}-\frac{3 i \sinh (c+d x) \cosh (c+d x)}{2 a d}+\frac{3 i x}{2 a} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0795302, antiderivative size = 83, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 2, integrand size = 24, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.083, Rules used = {2767, 2734} \[ \frac{2 \cosh (c+d x)}{a d}-\frac{\sinh ^2(c+d x) \cosh (c+d x)}{d (a+i a \sinh (c+d x))}-\frac{3 i \sinh (c+d x) \cosh (c+d x)}{2 a d}+\frac{3 i x}{2 a} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2767
Rule 2734
Rubi steps
\begin{align*} \int \frac{\sinh ^3(c+d x)}{a+i a \sinh (c+d x)} \, dx &=-\frac{\cosh (c+d x) \sinh ^2(c+d x)}{d (a+i a \sinh (c+d x))}+\frac{\int \sinh (c+d x) (2 a-3 i a \sinh (c+d x)) \, dx}{a^2}\\ &=\frac{3 i x}{2 a}+\frac{2 \cosh (c+d x)}{a d}-\frac{3 i \cosh (c+d x) \sinh (c+d x)}{2 a d}-\frac{\cosh (c+d x) \sinh ^2(c+d x)}{d (a+i a \sinh (c+d x))}\\ \end{align*}
Mathematica [A] time = 0.163607, size = 109, normalized size = 1.31 \[ \frac{\left (3 \sqrt{1+i \sinh (c+d x)} \sinh ^{-1}(\sinh (c+d x))+\sqrt{1-i \sinh (c+d x)} \left (-i \sinh ^2(c+d x)+\sinh (c+d x)-4 i\right )\right ) \cosh (c+d x)}{2 a d \sqrt{1-i \sinh (c+d x)} (\sinh (c+d x)-i)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.041, size = 196, normalized size = 2.4 \begin{align*}{\frac{-2\,i}{da} \left ( -i+\tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) \right ) ^{-1}}+{\frac{{\frac{i}{2}}}{da} \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) +1 \right ) ^{-2}}+{\frac{{\frac{3\,i}{2}}}{da}\ln \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) +1 \right ) }+{\frac{1}{da} \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) +1 \right ) ^{-1}}-{\frac{{\frac{i}{2}}}{da} \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) +1 \right ) ^{-1}}-{\frac{{\frac{3\,i}{2}}}{da}\ln \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) -1 \right ) }-{\frac{{\frac{i}{2}}}{da} \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) -1 \right ) ^{-2}}-{\frac{1}{da} \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) -1 \right ) ^{-1}}-{\frac{{\frac{i}{2}}}{da} \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) -1 \right ) ^{-1}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.02886, size = 132, normalized size = 1.59 \begin{align*} \frac{3 i \,{\left (d x + c\right )}}{2 \, a d} + \frac{3 i \, e^{\left (-d x - c\right )} + 20 \, e^{\left (-2 \, d x - 2 \, c\right )} + 1}{8 \,{\left (i \, a e^{\left (-2 \, d x - 2 \, c\right )} + a e^{\left (-3 \, d x - 3 \, c\right )}\right )} d} + \frac{i \,{\left (-4 i \, e^{\left (-d x - c\right )} + e^{\left (-2 \, d x - 2 \, c\right )}\right )}}{8 \, a d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.59988, size = 243, normalized size = 2.93 \begin{align*} \frac{{\left (12 i \, d x - 4 i\right )} e^{\left (3 \, d x + 3 \, c\right )} + 4 \,{\left (3 \, d x + 5\right )} e^{\left (2 \, d x + 2 \, c\right )} - i \, e^{\left (5 \, d x + 5 \, c\right )} + 3 \, e^{\left (4 \, d x + 4 \, c\right )} - 3 i \, e^{\left (d x + c\right )} + 1}{8 \, a d e^{\left (3 \, d x + 3 \, c\right )} - 8 i \, a d e^{\left (2 \, d x + 2 \, c\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 1.39073, size = 180, normalized size = 2.17 \begin{align*} \begin{cases} \frac{\left (- 32 i a^{3} d^{3} e^{5 c} e^{2 d x} + 128 a^{3} d^{3} e^{4 c} e^{d x} + 128 a^{3} d^{3} e^{2 c} e^{- d x} + 32 i a^{3} d^{3} e^{c} e^{- 2 d x}\right ) e^{- 3 c}}{256 a^{4} d^{4}} & \text{for}\: 256 a^{4} d^{4} e^{3 c} \neq 0 \\x \left (- \frac{\left (i e^{4 c} - 2 e^{3 c} - 6 i e^{2 c} + 2 e^{c} + i\right ) e^{- 2 c}}{4 a} - \frac{3 i}{2 a}\right ) & \text{otherwise} \end{cases} + \frac{3 i x}{2 a} + \frac{2 e^{c}}{a d \left (i e^{c} + e^{- d x}\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.47046, size = 127, normalized size = 1.53 \begin{align*} \frac{3 i \,{\left (d x + c\right )}}{2 \, a d} + \frac{{\left (20 \, e^{\left (2 \, d x + 2 \, c\right )} - 3 i \, e^{\left (d x + c\right )} + 1\right )} e^{\left (-2 \, d x - 2 \, c\right )}}{8 \, a d{\left (e^{\left (d x + c\right )} - i\right )}} - \frac{i \, a d e^{\left (2 \, d x + 2 \, c\right )} - 4 \, a d e^{\left (d x + c\right )}}{8 \, a^{2} d^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]